|
SynaptiCAD, Prover Technology and @HDL License Verisity's e Verification Language
MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--May 29, 2001--Verisity
Ltd. (Nasdaq:VRST), the leading provider of functional verification
automation, today announced that SynaptiCAD, Prover Technology and
@HDL have licensed Verisity's e verification language through the
LicenseE(TM) program. As LicenseE members, the companies have the
ability to develop and integrate their verification tools using the e
language to provide customers with integrated verification solutions.
In addition, SynaptiCAD and @HDL have also joined the Verisity
Interoperability Partners (VIP(TM)) program to ensure a smooth
integration between Verisity's Specman Elite(TM) and their products.
``We're delighted to see additional vendors supporting the e
language in their technologies and working with us to increase
interoperability for users,'' said Dave Tokic, director of strategic
marketing for Verisity. ``By supporting the e language, SynaptiCAD,
Prover Technology and @HDL will gain valuable access to our
substantial installed base.''
SynaptiCAD is licensing the e verification language for their
TestBencher Pro graphical testbench generation tool. ``We are planning
to add support for the e language,'' said Dan Notestein president of
SynaptiCAD. ``TestBencher Pro will be able to generate e language test
benches from graphical timing diagrams. Combining TestBencher Pro with
the e language will enable our mutual customers to develop complex
test benches much more rapidly than ever before.''
TestBencher Pro provides designers with a graphical environment
for generating cycle-based bus-functional models from
language-independent timing diagrams. With this announcement,
SynaptiCAD will support the e verification language as an output from
TestBencher Pro that can be directly read into Specman Elite.
TestBencher Pro will automatically generate all of the structs and
units in e for each diagram including signal mappings, drivers and
protocol checks, as well as the top-level code for interfacing to
Specman Elite.
Prover's commercial proof engines perform automated logical
reasoning on hardware and software designs. When integrated into a
design environment or verification tool, they quickly prove the design
meets its specification. Through the LicenseE program, Prover
Technology can use the e verification language as input for the Prover
Plug-In suite, enabling their proof engines to check properties
written in e.
``End users gain great coverage and time-to-market benefits by
employing Prover Plug-In proof engines to verify their designs,'' said
Arne Boralv, president of Prover Technology, Inc. ``Through the
LicenseE program, we can ensure that our proof engines work seamlessly
to support the growing number of e users, giving them a more
comprehensive verification solution.''
@HDL is integrating its complete Adaptive Functional Verification
(AFV) tool suite with Verisity's Specman Elite tool and the e
verification language. The integration of @Verifier and @Designer will
provide bi-directional support with Verisity's products.
``Verisity is an important player in development and automation of
the 'Intelligent RTL Testbench' methodology, and we are pleased to
become a member of the company's LicenseE and VIP programs,'' said
Richard Curtin, COO at @HDL. ``One key to shortening functional
verification cycles is tight integration between system-level and
block-level tools in the user's RTL testbench and SOC debugging
environments. Verisity's Specman Elite product and e verification
language are becoming industry-standards for system-level
verification. Integration with @HDL's automatic model checking,
intelligent-random Verilog simulation, and system-level debugging
tools gives Specman Elite and e customers a powerful, multi-level RTL
verification solution.''
Program Membership
As members in the LicenseE program, SynatiCAD, Prover Technology
and @HDL will receive open access to the e language, including a stand
alone e parser, and will participate in the e Steering Committee. The
Steering Committee's purpose is to drive the future direction of the
language to better serve the verification market. All companies on the
Steering Committee have equal say, including Verisity.
As VIP partners, SynaptiCAD and @HDL can develop, test, support
and maintain the integrations between Specman Elite and their tools.
The new VIP members will receive Specman Elite licenses,
documentation, support and software updates as well as access to beta
releases.
About Verisity
Verisity is a leading provider of proprietary technologies and
software products used to efficiently verify designs of electronic
systems and complex integrated circuits that are essential to the
communications and other high growth segments of the electronics
industry. Verisity's products automate the process of detecting flaws
in these designs, enabling customers to deliver higher quality
products, accelerate time-to-market and reduce overall product
development costs.
Verisity Design, Inc.'s principal executive offices are located in
Mountain View, Calif. Verisity's principal research and development
offices and the corporate headquarters of Verisity Ltd. are located in
Rosh Ha'ain, Israel. For more information, see Verisity's web site at
www.verisity.com.
Note to Editors: Verisity is a registered trademark of Verisity
Design, Inc. LicenseE, VIP and Specman Elite are trademarks of
Verisity Design. All other trademarks are the property of their
respective holders.
Contact:
Verisity Design, Inc., Mountain View
Jennifer Bilsey, 650/934-6823
jen@verisity.com
|
|
CaféTalk
